ClojureDocs

Nav

Namespaces

A finite domain constraint. u must be less than v. u and v
 must eventually be given domains if vars.